Section: Dissemination

Scientific Animation

Administrative charges:

• Hubert Comon-Lundh is member of the “comité de pilotage”, labex Digicosme.

• Hubert Comon-Lundh is member of the “commission formation”, labex Digicosme.

• Hubert Comon-Lundh is member of the “Jury prix de these Gilles Kahn/SIF”.

• Hubert Comon-Lundh is member of the jury “appel à projets Digiteo”

• Hubert Comon-Lundh is member of the Master MPRI studies committee and director of the MPRI until sept. 2013.

• Stéphanie Delaune has been a member of the scientific committee of Inria Saclay since February 2012.

• Stéphanie Delaune has been “Déléguée aux thèses” at the École Doctorale Sciences Pratiques at ENS Cachan since September 2012.

• Jean Goubault-Larrecq is in charge of computer science questions, common Ecole Polytechnique-ENS Paris, Lyon, Cachan-ESPCI entrance competitive exam, starting September 2012.

Editorial boards:

• Hubert Comon-Lundh is associate editor of the ACM Transactions on Computational Logic.

Participation to program committes of conferences:

• 16th International Conference on Foundations of Software Science and Computation Structures FoSSaCS'13, Rome, Italy, March 2013 (Jean Goubault-Larrecq).

• 24th International Conference on Automated Deduction (CADE), Lake Placid, New York, USA, 2013 (Stéphanie Delaune)

• 26th IEEE Computer Security Foundations Symposium (CSF), Tulane University, New Orleans LA, USA, 2013 (Stéphanie Delaune)

• 24th International Conference on Rewriting Techniques and Applications (RTA), Eindhoven, The Netherlands, 2013 (Stéphanie Delaune)

• 20th Workshop on Logic, Language, Information and Computation (WoLLIC), Darmstadt, Germany, 2013 (Stéphanie Delaune)

• Worshop Formal and Computational Cryptography (FCC), president of the program commitee. June 30, 2013, New Orleans (Hubert Comon-Lundh).

• Workshop on Logical Frameworks and Meta-Languages: Theory and Practice LFMTP'13, Boston, U.S.A., September 2013 (David Baelde).

• Workshop on Fixed Points in Computer Science FICS'13, Torino, Italy, September 2013 (David Baelde).

• 24th Journées Francophones des Langages Applicatifs JFLA'13, Aussois, France, February 2013 (David Baelde).

Organization of conferences:

• Workshop on Fixed Points in Computer Science FICS'13, Torino, Italy, September 2013 (David Baelde).

• 25th Journées Francophones des Langages Applicatifs JFLA'14, Fréjus, France, January 2014 (David Baelde).

Selection committees:

• Hubert Comon-Lundh was president of the “Maitre de Conférences” selection committee, ENS Paris, 2013.

• Hubert Comon-Lundh was member of the selection committee of “Maitre de conférences” selection committee, Univ. Paris-Diderot, 2013.

• Hubert Comon-Lundh was member of the Inria Paris-Rocquencourt junior researche selection committee, 2013.

• Jean Goubault-Larrecq was member of the Inria Saclay-Ile-de-France junior researcher selection committee, 2013.

Scientific boards:

• Hubert Comon-Lundh, CNRS INSII, Oct. 2010-Oct 2014

• Hubert Comon-Lundh, scientific committee, labex CPU.

• Hubert Comon-Lundh, scientific committee, LIPN.

• Jean Goubault-Larrecq, external member of the selection committee of the Formal Methods and Security Inria-DGA seminar, Rennes

• Jean Goubault-Larrecq, external member of the selection committee of the Formal Methods and Security Inria-DGA seminar, Rennes

• Jean Goubault-Larrecq, member of the scientific committee of the Labex “Fondation Sciences Mathématiques de Paris”.

• Jean Goubault-Larrecq, member of the scientific committe of the “Ecole de Printemps d'Informatique Théorique” (EPIT).

Invited talks:

• Hubert Comon-Lundh, LICS: Logic in Computer Security, invited tutorial, IEEE Symp. Logic in Computer Science, New Orleans, July 2013.

• Jean Goubault-Larrecq, A few Pearls in the Theory of Quasi-Metric Spaces, semi-plenary talk, Summer Topology Conference, North Bay, Ontario, Canada, July 23-26, 2013.

• Jean Goubault-Larrecq, A Simple Proof of the Schröder-Simpson Theorem, session on Asymmetric Topology, Summer Topology Conference, North Bay, Ontario, Canada, July 23-26, 2013.

• Jean Goubault-Larrecq, A Constructive Proof of the Topological Kruskal Theorem, Mathematical Foundations of Computer Science (MFCS), IST Austria, near Vienna, Austria, August 26-30, 2013.

• Jean Goubault-Larrecq, Is Mathematical Rigor Needed in Intrusion Detection?, Foundations and Practice of Security (FPS), La Rochelle, France, October 21, 2013.

Invitation to seminars:

• Hubert Comon-Lundh, Towards Unconditonal Soundness, IRISA, Rennes, Feb 1, 2013.

• Hubert Comon-Lundh, Computationally Sound Automated Proofs of Security, LRI, Orsay, March 15, 2013.

• Jean Goubault-Larrecq, Orchids, ou: de l'importance de la sémantique, séminaire DGA Innosciences, DGA, Bagneux, June 25, 2013.

• Jean Goubault-Larrecq, Full Abstraction for Non-Deterministic and Probabilistic Extensions of PCF, Pierre-Louis Curien Festschrift, Venice, Italy, September 9-11, 2013.